#ifndef _TIMER_H
#define _TIMER_H

#define HZ 250
#define NSEC_PER_SEC    1000000000L

#define TIMER_INTERVAL_VAL (NSEC_PER_SEC / HZ)
#define GENERIC_TIMER_IRQ 30


void timer_init(void);
void handle_timer_irq(void);
void handle_pns_irq();

#endif